State and prove Invariance Theorem